
 add_fsm_encoding \
       {rmii_ethernet.RX_PACKET_STATE} \
       { }  \
       {{000 000} {001 001} {010 101} {011 011} {100 100} {101 010} }

 add_fsm_encoding \
       {serial_output.STATE} \
       { }  \
       {{0000 0000} {0001 0010} {0010 0001} {0011 0011} {0100 0100} {0101 0101} {0110 0110} {0111 0111} {1000 1000} {1001 1001} {1010 1010} {1011 1011} }

 add_fsm_encoding \
       {SERIAL_INPUT.STATE} \
       { }  \
       {{0000 0000} {0001 0001} {0010 0010} {0011 0011} {0100 0100} {0101 0101} {0110 0110} {0111 0111} {1000 1000} {1001 1001} {1010 1010} {1011 1011} }

 add_fsm_encoding \
       {rmii_ethernet.RX_PACKET_STATE} \
       { }  \
       {{000 000} {001 001} {010 101} {011 011} {100 100} {101 010} }

 add_fsm_encoding \
       {serial_output.STATE} \
       { }  \
       {{0000 0000} {0001 0010} {0010 0001} {0011 0011} {0100 0100} {0101 0101} {0110 0110} {0111 0111} {1000 1000} {1001 1001} {1010 1010} {1011 1011} }

 add_fsm_encoding \
       {SERIAL_INPUT.STATE} \
       { }  \
       {{0000 0000} {0001 0001} {0010 0010} {0011 0011} {0100 0100} {0101 0101} {0110 0110} {0111 0111} {1000 1000} {1001 1001} {1010 1010} {1011 1011} }

 add_fsm_encoding \
       {rmii_ethernet.RX_PACKET_STATE} \
       { }  \
       {{000 000} {001 001} {010 101} {011 011} {100 100} {101 010} }

 add_fsm_encoding \
       {serial_output.STATE} \
       { }  \
       {{0000 0000} {0001 0010} {0010 0001} {0011 0011} {0100 0100} {0101 0101} {0110 0110} {0111 0111} {1000 1000} {1001 1001} {1010 1010} {1011 1011} }

 add_fsm_encoding \
       {SERIAL_INPUT.STATE} \
       { }  \
       {{0000 0000} {0001 0001} {0010 0010} {0011 0011} {0100 0100} {0101 0101} {0110 0110} {0111 0111} {1000 1000} {1001 1001} {1010 1010} {1011 1011} }

 add_fsm_encoding \
       {rmii_ethernet.RX_PACKET_STATE} \
       { }  \
       {{000 000} {001 001} {010 101} {011 011} {100 100} {101 010} }

 add_fsm_encoding \
       {serial_output.STATE} \
       { }  \
       {{0000 0000} {0001 0010} {0010 0001} {0011 0011} {0100 0100} {0101 0101} {0110 0110} {0111 0111} {1000 1000} {1001 1001} {1010 1010} {1011 1011} }

 add_fsm_encoding \
       {SERIAL_INPUT.STATE} \
       { }  \
       {{0000 0000} {0001 0001} {0010 0010} {0011 0011} {0100 0100} {0101 0101} {0110 0110} {0111 0111} {1000 1000} {1001 1001} {1010 1010} {1011 1011} }

 add_fsm_encoding \
       {rmii_ethernet.RX_PACKET_STATE} \
       { }  \
       {{000 000} {001 001} {010 101} {011 011} {100 100} {101 010} }

 add_fsm_encoding \
       {serial_output.STATE} \
       { }  \
       {{0000 0000} {0001 0010} {0010 0001} {0011 0011} {0100 0100} {0101 0101} {0110 0110} {0111 0111} {1000 1000} {1001 1001} {1010 1010} {1011 1011} }

 add_fsm_encoding \
       {SERIAL_INPUT.STATE} \
       { }  \
       {{0000 0000} {0001 0001} {0010 0010} {0011 0011} {0100 0100} {0101 0101} {0110 0110} {0111 0111} {1000 1000} {1001 1001} {1010 1010} {1011 1011} }

 add_fsm_encoding \
       {rmii_ethernet.RX_PACKET_STATE} \
       { }  \
       {{000 000} {001 001} {010 101} {011 011} {100 100} {101 010} }

 add_fsm_encoding \
       {serial_output.STATE} \
       { }  \
       {{0000 0000} {0001 0010} {0010 0001} {0011 0011} {0100 0100} {0101 0101} {0110 0110} {0111 0111} {1000 1000} {1001 1001} {1010 1010} {1011 1011} }

 add_fsm_encoding \
       {SERIAL_INPUT.STATE} \
       { }  \
       {{0000 0000} {0001 0001} {0010 0010} {0011 0011} {0100 0100} {0101 0101} {0110 0110} {0111 0111} {1000 1000} {1001 1001} {1010 1010} {1011 1011} }

 add_fsm_encoding \
       {rmii_ethernet.RX_PACKET_STATE} \
       { }  \
       {{000 000} {001 001} {010 101} {011 011} {100 100} {101 010} }

 add_fsm_encoding \
       {serial_output.STATE} \
       { }  \
       {{0000 0000} {0001 0010} {0010 0001} {0011 0011} {0100 0100} {0101 0101} {0110 0110} {0111 0111} {1000 1000} {1001 1001} {1010 1010} {1011 1011} }

 add_fsm_encoding \
       {SERIAL_INPUT.STATE} \
       { }  \
       {{0000 0000} {0001 0001} {0010 0010} {0011 0011} {0100 0100} {0101 0101} {0110 0110} {0111 0111} {1000 1000} {1001 1001} {1010 1010} {1011 1011} }

 add_fsm_encoding \
       {rmii_ethernet.RX_PACKET_STATE} \
       { }  \
       {{000 000} {001 001} {010 101} {011 011} {100 100} {101 010} }

 add_fsm_encoding \
       {serial_output.STATE} \
       { }  \
       {{0000 0000} {0001 0010} {0010 0001} {0011 0011} {0100 0100} {0101 0101} {0110 0110} {0111 0111} {1000 1000} {1001 1001} {1010 1010} {1011 1011} }

 add_fsm_encoding \
       {SERIAL_INPUT.STATE} \
       { }  \
       {{0000 0000} {0001 0001} {0010 0010} {0011 0011} {0100 0100} {0101 0101} {0110 0110} {0111 0111} {1000 1000} {1001 1001} {1010 1010} {1011 1011} }

 add_fsm_encoding \
       {rmii_ethernet.RX_PACKET_STATE} \
       { }  \
       {{000 000} {001 001} {010 101} {011 011} {100 100} {101 010} }

 add_fsm_encoding \
       {serial_output.STATE} \
       { }  \
       {{0000 0000} {0001 0010} {0010 0001} {0011 0011} {0100 0100} {0101 0101} {0110 0110} {0111 0111} {1000 1000} {1001 1001} {1010 1010} {1011 1011} }

 add_fsm_encoding \
       {SERIAL_INPUT.STATE} \
       { }  \
       {{0000 0000} {0001 0001} {0010 0010} {0011 0011} {0100 0100} {0101 0101} {0110 0110} {0111 0111} {1000 1000} {1001 1001} {1010 1010} {1011 1011} }

 add_fsm_encoding \
       {rmii_ethernet.RX_PACKET_STATE} \
       { }  \
       {{000 000} {001 001} {010 101} {011 011} {100 100} {101 010} }

 add_fsm_encoding \
       {serial_output.STATE} \
       { }  \
       {{0000 0000} {0001 0010} {0010 0001} {0011 0011} {0100 0100} {0101 0101} {0110 0110} {0111 0111} {1000 1000} {1001 1001} {1010 1010} {1011 1011} }

 add_fsm_encoding \
       {SERIAL_INPUT.STATE} \
       { }  \
       {{0000 0000} {0001 0001} {0010 0010} {0011 0011} {0100 0100} {0101 0101} {0110 0110} {0111 0111} {1000 1000} {1001 1001} {1010 1010} {1011 1011} }

 add_fsm_encoding \
       {rmii_ethernet.RX_PACKET_STATE} \
       { }  \
       {{000 000} {001 001} {010 101} {011 011} {100 100} {101 010} }

 add_fsm_encoding \
       {serial_output.STATE} \
       { }  \
       {{0000 0000} {0001 0010} {0010 0001} {0011 0011} {0100 0100} {0101 0101} {0110 0110} {0111 0111} {1000 1000} {1001 1001} {1010 1010} {1011 1011} }

 add_fsm_encoding \
       {SERIAL_INPUT.STATE} \
       { }  \
       {{0000 0000} {0001 0001} {0010 0010} {0011 0011} {0100 0100} {0101 0101} {0110 0110} {0111 0111} {1000 1000} {1001 1001} {1010 1010} {1011 1011} }

 add_fsm_encoding \
       {rmii_ethernet.RX_PACKET_STATE} \
       { }  \
       {{000 000} {001 001} {010 101} {011 011} {100 100} {101 010} }

 add_fsm_encoding \
       {serial_output.STATE} \
       { }  \
       {{0000 0000} {0001 0010} {0010 0001} {0011 0011} {0100 0100} {0101 0101} {0110 0110} {0111 0111} {1000 1000} {1001 1001} {1010 1010} {1011 1011} }

 add_fsm_encoding \
       {SERIAL_INPUT.STATE} \
       { }  \
       {{0000 0000} {0001 0001} {0010 0010} {0011 0011} {0100 0100} {0101 0101} {0110 0110} {0111 0111} {1000 1000} {1001 1001} {1010 1010} {1011 1011} }

 add_fsm_encoding \
       {rmii_ethernet.RX_PACKET_STATE} \
       { }  \
       {{000 000} {001 001} {010 101} {011 011} {100 100} {101 010} }

 add_fsm_encoding \
       {serial_output.STATE} \
       { }  \
       {{0000 0000} {0001 0010} {0010 0001} {0011 0011} {0100 0100} {0101 0101} {0110 0110} {0111 0111} {1000 1000} {1001 1001} {1010 1010} {1011 1011} }

 add_fsm_encoding \
       {SERIAL_INPUT.STATE} \
       { }  \
       {{0000 0000} {0001 0001} {0010 0010} {0011 0011} {0100 0100} {0101 0101} {0110 0110} {0111 0111} {1000 1000} {1001 1001} {1010 1010} {1011 1011} }

 add_fsm_encoding \
       {rmii_ethernet.RX_PACKET_STATE} \
       { }  \
       {{000 000} {001 001} {010 101} {011 011} {100 100} {101 010} }

 add_fsm_encoding \
       {serial_output.STATE} \
       { }  \
       {{0000 0000} {0001 0010} {0010 0001} {0011 0011} {0100 0100} {0101 0101} {0110 0110} {0111 0111} {1000 1000} {1001 1001} {1010 1010} {1011 1011} }

 add_fsm_encoding \
       {SERIAL_INPUT.STATE} \
       { }  \
       {{0000 0000} {0001 0001} {0010 0010} {0011 0011} {0100 0100} {0101 0101} {0110 0110} {0111 0111} {1000 1000} {1001 1001} {1010 1010} {1011 1011} }
